calcul des séquents中文是什么意思

• 相继式演算

• "calcul"中文翻译    音标：[kalkyl] n.m.
• "des"中文翻译    音标：[dε] art.
• "calcul des prédicats" 中文翻译 :    一阶逻辑
• "calculé" 中文翻译 :    动词变位提示：calculé是calculer的变位形式calculéadj.计算的
• "calcul des constructions" 中文翻译 :    构造演算
• "calcul des propositions" 中文翻译 :    命题逻辑
• "calcul des variations" 中文翻译 :    变分法
• "télécalcul" 中文翻译 :    télécalculm.运程计算
• "calcul différentiel" 中文翻译 :    微分
• "calcul distribué" 中文翻译 :    calcul distribué; 分布式计算
• "calcul infinitésimal" 中文翻译 :    微积分学
• "calcul rénal" 中文翻译 :    肾结石
• "calcul réversible" 中文翻译 :    可逆计算
• "calculé selon" 中文翻译 :    折合标定
• "calculée" 中文翻译 :    商讨
• "champ calculé" 中文翻译 :    計算欄位
• "réunion régionale des directeurs de centres de calcul des etats arabes" 中文翻译 :    阿拉伯国家计算机中心主任区域会议
• "calcul des travaux en cours" 中文翻译 :    wip 计算
• "graphique de vectorisation des vents pour le calcul des retombées" 中文翻译 :    放射性微粒尘降风矢量标绘图
• "redevance sur les polluants atmosphériques calculée au prorata des émissions" 中文翻译 :    按比例摊派的空气污染物排放费
• "calcul" 中文翻译 :    音标：[kalkyl]n.m. 计算,演算,算法;算术;各种计算,验算;估计,估量;盘算,打算,考虑n.m. [医]结石专业辞典n.m.【医学】结石：~rénal肾结石~urinaire尿结石calculm.[结]石；计算；核算calcul (rénal, néphritique)肾[结]石calcul biliaire胆[结]石calcul cardiaque心[结]石calcul cardiaque心石calcul cholestérinique胆固醇[结]石calcul coralliforme肾鹿角性结石calcul d'impôt征税估值calcul de bassinet肾盂[结]石calcul de coût de revient成本计算calcul de la propagation des crues洪水演算calcul de la vésicule du rein ou de la vessie de chien狗宝calcul de réserves储量计算calcul de vessie膀胱结石calcul dentaire牙[垢、石]calcul des attaques de coulée浇口计算calcul des variations变分学calcul des voies urinaires inférieures下尿路结石 / calcul des voies urinaires supérieures上尿路结石calcul fécaloïde粪石calcul gastrique胃[结]石calcul grossier匡算calcul hépatique肝[结]石calcul infinitésimal微积分学calcul lacrymal泪[结]石，泪石calcul mammaire乳腺[结]石calcul mental心算calcul mental à boulier珠算心算calcul mixte混合结石calcul ovarien卵巢[结]石calcul pancréatique胰[结]石calcul pigmentaire胆色素结石calcul prostatique前列腺[结]石calcul préputial包皮垢[结]石calcul pulmonaire肺[结]石calcul radio opaque不透光结石calcul salivaire唾腺结石calcul scrotal阴囊[结]石calcul spermatique精管[结]石calcul urinaire尿[结]石calcul urétéral输尿管[结]石calcul utérin子宫[结]石calcul vésical膀胱[结]石calcul typem.标准计算近义词arithmétique, chiffres , détermination, évaluation, mesure, intérêt, combinaison, dessein, intention, plan
• "calcul multipartite sécurisé" 中文翻译 :    安全多方计算
• "calcul de marée" 中文翻译 :    潮汐表
• "colonne calculée persistante" 中文翻译 :    持久化计算列
• "contrôle calculé" 中文翻译 :    計算控制項

• Le théorème d'élimination des coupures stipule que toute déclaration qui possède une preuve dans le calcul des séquents, faisant usage de la règle de coupure, possède aussi une preuve sans coupure, à savoir, une preuve qui ne fait pas usage de la règle de coupure,.
  切削定理声称在相继式演算中，拥有利用了切规则的证明的任何判断，也拥有无切证明，就是说，不利用切规则的证明。